1. Assessment of Freshwater Use and Cycling in Petrochemical Industry

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Chemical engineering; Sustainability; Environmental engineering,Social sciences;Applied sciences

2. Formal Verification of Nonlinear Biological Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science,Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis